Boolean algebra - PDFSEARCH.IO - Document Search Engine

Boolean algebra
Results: 1241

#	Item
81	VALIDITY IN SENTENTIAL LOGIC. Add to Reading List Source URL: dl.dropboxusercontent.com Language: English Propositional calculus Logical consequence Boolean algebra Classical logic Semantics Truth table Tautology Validity Logical equivalence Argument Deductive reasoning If and only if
82	RESEARCHCONTRIBUTIONS Artificial Intelligence and Language Processing Add to Reading List Source URL: aml.media.mit.edu Language: English - Date: 2011-07-13 14:33:31 Boolean algebra Formal methods Theoretical computer science Implicant Disjunctive normal form IP Lambda calculus Vector space Boolean satisfiability problem Bayesian network
83	WORKING PAPER N° Dynamically consistent CEU preferences ANDRE LAPIED, PASCAL TOQUEBEUF Add to Reading List Source URL: www.tepp.eu Language: English - Date: 2015-07-01 09:43:33 Measure theory Probability theory Boolean algebra Sigma-algebra Dynamical system
84	Economics and Computation ECONand CPSCProfessor Dirk Bergemann and Professor Joan Feigenbaum Lecture IV Add to Reading List Source URL: zoo.cs.yale.edu Language: English - Date: 2008-10-07 04:07:53 Complexity classes Computational complexity theory Boolean algebra Structural complexity theory NP-complete problems Boolean satisfiability problem NP PP Reduction True quantified Boolean formula Exponential time hypothesis P
85	Land surface process modelling with PCRaster Python Release 2.5 Derek Karssenberg Add to Reading List Source URL: karssenberg.geo.uu.nl Language: English - Date: 2015-03-24 10:53:24 Boolean algebra Boolean data type Boolean Data type Cursor Scala
86	Empirical Issues in Syntax and Semantics 8 O. Bonami & P. Cabredo Hofherr (eds, pp. 27–51 http://www.cssp.cnrs.fr/eiss8 Move and accommodate: Add to Reading List Source URL: www.cssp.cnrs.fr Language: English - Date: 2011-02-21 12:14:01 Semantics Philosophy of language Quantification Predicate logic Pragmatics Presupposition Definite description Quantifier Proposition Generalized quantifier Accommodation Boolean algebra
87	Interactive Constrained Boolean Matrix Factorization Nelson Mukuze PauIi Miettinen Max-Planck-Institut für Informatik Add to Reading List Source URL: poloclub.gatech.edu Language: English - Date: 2016-07-22 15:05:21 Matrix theory Multivariate statistics Numerical linear algebra Matrix Factorization Algorithm Non-negative matrix factorization Principal component analysis
88	Quadratization of Symmetric Pseudo-Boolean Functions Martin Anthonya , Endre Borosb , Yves Cramac , Aritanan Gruberd,∗ a Department of Mathematics, London School of Economics and Political Science, UK. Add to Reading List Source URL: www.maths.lse.ac.uk Language: English - Date: 2015-12-10 05:21:39 Algebraic structures Polynomials Mathematical optimization Pseudo-Boolean function Symmetric functions Ring Symmetric matrix Boolean algebra Elementary symmetric polynomial
89	TMS SOFTWARE TMS FNC Grid DEVELOPERS GUIDE TMS FNC Grid DEVELOPERS GUIDE Add to Reading List Source URL: www.tmssoftware.biz Language: English - Date: 2016-07-12 04:44:33 Boolean algebra User interface techniques Boolean data type Selection Scroll wheel
90	Microsoft Word - 2015_11_19_jha_abstract.docx Add to Reading List Source URL: irafm.osu.cz Language: English - Date: 2015-11-10 06:43:07 Fuzzy logic Artificial intelligence Logic in computer science Systems scientists Lotfi A. Zadeh Kathmandu Boolean algebra Fuzzy concept